\begin{tabbing}
$\forall$${\it ltg}$:(IdLnk$\times$Id$\times$Type), $i$:Id, $k$:Knd, $T$:Type.
\\[0ex](${\it ltg}$ $\in$ da{-}outlinks($k$ : $T$;$i$))
\\[0ex]$\Rightarrow$ \{\=isrcv($k$) \& source(lnk($k$)) $=$ $i$\+
\\[0ex]\& (1of(${\it ltg}$) $\sim$ lnk($k$))
\\[0ex]\& (1of(2of(${\it ltg}$)) $\sim$ tag($k$))
\\[0ex]\& 2of(2of(${\it ltg}$)) $=$ $T$\}
\-
\end{tabbing}